val command : string -> int
